<?php

class Ticketsnum extends BaseTicketsnum
{
}
